invertible morphism

可逆态射